Fix File Manager missing on Xiaomi Redmi